<?php

$ch = curl_init(); // cURL initialization

#set the search variables
$url = $_GET['url'];

// 2. set options
curl_setopt($ch, CURLOPT_URL, $url);
curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
curl_setopt($ch, CURLOPT_FRESH_CONNECT, 1);

// 3. execute and fetch the resulting html output
$output = curl_exec($ch);

$output = mb_convert_encoding($output, 'HTML-ENTITIES', 'UTF-8');

header('Content-type: text/xml');
echo $output;

?>